Definitions | Type, t T, s = t, type List, Void, x:A.B(x), Top, x:A B(x), x:A. B(x), S T, null(as), b, A, s ~ t, P  Q, #$n, ||as||, i > j, a < b, i <z j, x:A B(x), P & Q, P   Q, P  Q, (x l), , A B, , , False, {x:A| B(x)} , -n, n+m, x before y l, {i..j }, upto(n), |g|, , Unit, left + right, if a<b then c else d,  , True, T, [], a < b, f(a), x f y, a < b, [d] ,  b, p   q, p  q, p  q, (i = j), x =a y, n - m, nth_tl(n;as), last(L), [car / cdr], {i...j}, l[i], tl(l), i j , hd(l), i j < k |